Flemming Nielson: buscar en el sitio web de Z-Library

Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Libre acceso a los conocimientos y la cultura.

Donaciones 15 de septiembre 2024 – 1 de octubre 2024

Z-Library es una de las bibliotecas en línea más grandes del mundo que contiene más de 17,000,000 libros y 84,837,000 artículos. Nuestro objetivo es hacer que la literatura sea accesible para todos. Hoy (15 de septiembre 2024) hemos empezado a recaudar donaciones adicionales para el soporte y desarrollo del proyecto.

También hay descargas ILIMITADAS (durante 31 días después del día de la donación) disponibles para TODOS los usuarios que apoyen el proyecto durante el período de recaudación de fondos hasta el 1 de octubre 2024.

Acerca de la recaudación de fondosVer más

Hacer una donación

Libros (27)
Más populares
Lista
- Lista
- Tabla

1

Semantics with applications: an appetizer

Semantics with applications: an appetizer

Nielson, Flemming, Nielson, Hanne Riis

Año:

2007

Idioma:

english

Archivo:

PDF, 2.24 MB

0 / 0

english, 2007

2

Semantics with applications: a formal introduction

Semantics with applications: a formal introduction

John Wiley & Sons Inc

Hanne Riis Nielson, Flemming Nielson

Año:

1999

Idioma:

english

Archivo:

PDF, 966 KB

5.0 / 5.0

english, 1999

3

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Springer International Publishing

Flemming Nielson, David Sands

Año:

2019

Idioma:

english

Archivo:

PDF, 6.91 MB

0 / 0

english, 2019

4

ML with Concurrency: Design, Analysis, Implementation, and Application

ML with Concurrency: Design, Analysis, Implementation, and Application

Flemming Nielson

Año:

1997

Idioma:

english

Archivo:

DJVU, 1.83 MB

0 / 0

english, 1997

5

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Año:

1992

Idioma:

english

Archivo:

PDF, 7.05 MB

0 / 0

english, 1992

6

Type and Effect Systems: Behaviours for Concurrency

Type and Effect Systems: Behaviours for Concurrency

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

Año:

1999

Idioma:

english

Archivo:

DJVU, 1.54 MB

0 / 0

english, 1999

7

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

Año:

2019

Idioma:

english

Archivo:

PDF, 1.80 MB

0 / 0

english, 2019

8

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Año:

2005

Idioma:

english

Archivo:

PDF, 9.73 MB

0 / 5.0

english, 2005

9

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)

Año:

2011

Idioma:

english

Archivo:

PDF, 2.55 MB

0 / 0

english, 2011

10

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Año:

1992

Idioma:

english

Archivo:

DJVU, 1.48 MB

0 / 0

english, 1992

11

Principles of Security and Trust

Principles of Security and Trust

Saint Philip Street Press

David Sands & Flemming Nielson [Sands, David & Nielson, Flemming]

Año:

2020

Idioma:

english

Archivo:

EPUB, 21.01 MB

0 / 0

english, 2020

12

Semantics With Applications: A Formal Introduction

Semantics With Applications: A Formal Introduction

John Wiley & Sons Inc

Hanne Riis Nielson, Flemming Nielson

Año:

1991

Idioma:

english

Archivo:

PDF, 1.14 MB

0 / 0

english, 1991

13

Principles of Security and Trust

Principles of Security and Trust

Flemming Nielson & David Sands

Año:

2019

Idioma:

english

Archivo:

PDF, 6.90 MB

0 / 0

english, 2019

14

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

Año:

2005

Idioma:

english

Archivo:

PDF, 10.11 MB

0 / 2.5

english, 2005

15

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

Año:

2019

Idioma:

english

Archivo:

PDF, 2.21 MB

0 / 5.0

english, 2019

16

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

Año:

2007

Idioma:

english

Archivo:

PDF, 2.29 MB

0 / 0

english, 2007

17

Principles of Program Analysis

Principles of Program Analysis

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)

Año:

1999

Idioma:

english

Archivo:

PDF, 38.85 MB

0 / 4.0

english, 1999

18

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Springer-Verlag London

Hanne Riis Nielson PhD, Flemming Nielson PhD, DSc (auth.)

Año:

2007

Idioma:

english

Archivo:

PDF, 2.81 MB

0 / 0

english, 2007

19

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Springer-Verlag New York, Inc.

Hanne Riis Nielson, Flemming Nielson

Año:

2007

Idioma:

english

Archivo:

PDF, 2.03 MB

0 / 0

english, 2007

20

STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986

STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986

Springer-Verlag Berlin Heidelberg

Flemming Nielson (auth.), B. Monien, G. Vidal-Naquet (eds.)

Año:

1986

Idioma:

english

Archivo:

DJVU, 3.42 MB

0 / 0

english, 1986

21

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

Año:

2007

Idioma:

english

Archivo:

PDF, 2.30 MB

0 / 0

english, 2007

22

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)

Año:

2011

Idioma:

english

Archivo:

PDF, 2.04 MB

0 / 0

english, 2011

23

Semantics with applications : an appetizer

Semantics with applications : an appetizer

Hanne Riis Nielson, Flemming Nielson

Año:

2007

Idioma:

english

Archivo:

PDF, 1.37 MB

0 / 0

english, 2007

24

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)

Año:

2011

Idioma:

english

Archivo:

PDF, 2.13 MB

0 / 0

english, 2011

25

Semantics with applications: an appetizer

Semantics with applications: an appetizer

Hanne Riis Nielson, Flemming Nielson

Año:

2007

Idioma:

english

Archivo:

DJVU, 1.72 MB

0 / 0

english, 2007

26

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 2.58 MB

0 / 0

english, 2009

27

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 3.48 MB

0 / 0

english, 2009